Finite Domain Bounds Consistency Revisited

A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagation is performed by propagators implementing a certain notion of consistency. Bounds consistency is the method of choice for building propagators for arithmetic constraints and several global constraints in the finite integer domain. However, there has been some confusion in the definition of bounds consistency. In this paper we clarify the differences and similarities among the three commonly used notions of bounds consistency.Comment: 12 page

Solving the Salinity Control Problem in a Potable Water System

Abstract. Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the winter dry season, the intrusion of sea water raises the salinity of the river to a high level and affects approximately the daily life of 450,000 residents of the city. This paper reports the application of constraint programming (CP) to optimize the logistical operations of the raw water system so as to satisfy the daily water consumption requirement of the city and to keep the potable salinity below a desirable level for as many days as possible. CP is the key to the success of the project for its separation of concerns and powerful constraint language that allows for rapid construction of a functional prototype and production system. Flexibility and adaptiveness allow us to deal with our clients' many changes in the requirements. Deriving good variable and value ordering heuristics, and generating useful implied constraints, we demonstrate that branch-and-bound search with constraint propagation can cope with an optimization problem of large size and great difficulty

Cigarette Smoking Accelerated Brain Aging and Induced Pre-Alzheimer-Like Neuropathology in Rats

Cigarette smoking has been proposed as a major risk factor for aging-related pathological changes and Alzheimer's disease (AD). To date, little is known for how smoking can predispose our brains to dementia or cognitive impairment. This study aimed to investigate the cigarette smoke-induced pathological changes in brains. Male Sprague-Dawley (SD) rats were exposed to either sham air or 4% cigarette smoke 1 hour per day for 8 weeks in a ventilated smoking chamber to mimic the situation of chronic passive smoking. We found that the levels of oxidative stress were significantly increased in the hippocampus of the smoking group. Smoking also affected the synapse through reducing the expression of pre-synaptic proteins including synaptophysin and synapsin-1, while there were no changes in the expression of postsynaptic protein PSD95. Decreased levels of acetylated-tubulin and increased levels of phosphorylated-tau at 231, 205 and 404 epitopes were also observed in the hippocampus of the smoking rats. These results suggested that axonal transport machinery might be impaired, and the stability of cytoskeleton might be affected by smoking. Moreover, smoking affected amyloid precursor protein (APP) processing by increasing the production of sAPPβ and accumulation of β–amyloid peptide in the CA3 and dentate gyrus region. In summary, our data suggested that chronic cigarette smoking could induce synaptic changes and other neuropathological alterations. These changes might serve as evidence of early phases of neurodegeneration and may explain why smoking can predispose brains to AD and dementia

Validation study of a Chinese version of Partners in Health in Hong Kong (C-PIH HK)

“The final publication is available at Springer via http://dx.doi.org/10.1007/s11136-016-1315-5."Background The Partners in Health (PIH) scale is a measure designed to assess the generic knowledge, attitudes, behaviors, and impacts of self-management. A cross-cultural adaptation of the PIH for use in Hong Kong was evaluated in this study. This paper reports the validity and reliability of the Chinese version of PIH (C-PIH[HK]). Method A 12-item PIH was translated using forward–backward translation technique and reviewed by individuals with chronic diseases and health professionals. A total of 209 individuals with chronic diseases completed the scale. The construct validity, internal consistency, and test–retest reliability were evaluated in two waves. Results The findings in Wave 1 (n = 73) provided acceptable psychometric properties of the C-PIH(HK) but supported the adaptation of question 5 to improve the cultural relevance, validity, and reliability of the scale. An adapted version of C-PIH(HK) was evaluated in Wave 2. The findings in Wave 2 (n = 136) demonstrated good construct validity and internal consistency of C-PIH(HK). A principal component analysis with Oblimin rotation yielded a 3-factor solution, and the Cronbach’s alphas of the subscales ranged from 0.773 to 0.845. Participants were asked whether they perceived the self-management workshops they attended and education provided by health professionals as useful or not. The results showed that the C-PIH(HK) was able to discriminate those who agreed and those who disagreed related to the usefulness of individual health education (p < 0.0001 in all subscales) and workshops (p < 0.001 in the knowledge subscale) as hypothesized. The test–retest reliability was high (ICC = 0.818). Conclusion A culturally adapted version of PIH for use in Hong Kong was evaluated. The study supported good construct validity, discriminate validity, internal consistency, and test–retest reliability of the C-PIH(HK)

Chuanxiongzine relaxes isolated corpus cavernosum strips and raises intracavernous pressure in rabbits

It has been shown that there are many Chinese traditional herbals that can enhance sexual activity. Chuanxiongzine is a vasoactive ingredient that has been isolated and purified from Ligusticum chuanxiong Hort. In previous studies, it has been found that chuanxiongzine was effective in relaxing rabbit corpus cavernosum smooth muscle. We determined the effects of chuanxiongzine on relaxation of isolated corpus cavernosum strips in vitro and on increase of intracavernous pressure (ICP) in vivo in rabbits. Chuanxiongzine caused a concentration-dependent relaxation of phenylephrine precontracted isolated corpus cavernosum strips (EC50 1.58 × 10−4 mol l−1), which were endothelium independent and NO independent. However, the guanylyl cyclase inhibitor 1-H-[1,2,4] oxadiazolo [4,3-a] quinoxalin-1-one significantly shifted the chuanxiongzine concentration–response relationship to the right. Although there was no significant difference in the level of cyclic guanosine monophosphate (cGMP) and cyclic adenosine monophosphate (cAMP) in isolated corpus cavernosum strips treated with chuanxiongzine or vehicle, chuanxiongzine caused a significant rise in the level of cGMP and cAMP in isolated corpus cavernosum strips pretreated with the activator of adenylyl cyclase forskolin and the source of NO sodium nitroprusside. In an in vivo study, chuanxiongzine dose-dependently raised ICP after the intracavernous injection of its cumulative doses (0.5, 1, 2 and 5 mg kg−1). The ICP increased from baseline to 19.1±3.7, 24.8±2.1, 30.2±4.8 and 39.7±6.1 mm Hg, respectively, and the duration of tumescence ranged from 8.5±2.8 to 22.9±7.3 min. Our results show that chuanxiongzine can relax isolated corpus cavernosum strips of rabbits in vitro and increase ICP of rabbits in vivo, which is neither endothelium dependent nor NO dependent, but may be partly mediated by the inhibition of cAMP phosphodiesterase or cGMP phosphodiesterase

Search for large missing transverse momentum in association with one top-quark in proton-proton collisions at √s = 13 TeV with the ATLAS detector

This paper describes a search for events with one top-quark and large missing transverse momentum in the final state. Data collected during 2015 and 2016 by the ATLAS experiment from 13 TeV proton–proton collisions at the LHC corresponding to an integrated luminosity of 36.1 fb−1 are used. Two channels are considered, depending on the leptonic or the hadronic decays of the W boson from the top quark. The obtained results are interpreted in the context of simplified models for dark-matter production and for the single production of a vector-like T quark. In the absence of significant deviations from the Standard Model background expectation, 95% confidence-level upper limits on the corresponding production cross-sections are obtained and these limits are translated into constraints on the parameter space of the models considered

Correlated long-range mixed-harmonic fluctuations measured in pp, p+Pb and low-multiplicity Pb+Pb collisions with the ATLAS detector

For abstract see published article

Performance of top-quark and W -boson tagging with ATLAS in Run 2 of the LHC

The performance of identification algorithms (“taggers”) for hadronically decaying top quarks and W bosons in pp collisions at √s=13 TeV recorded by the ATLAS experiment at the Large Hadron Collider is presented. A set of techniques based on jet shape observables are studied to determine a set of optimal cut-based taggers for use in physics analyses. The studies are extended to assess the utility of combinations of substructure observables as a multivariate tagger using boosted decision trees or deep neural networks in comparison with taggers based on two-variable combinations. In addition, for highly boosted top-quark tagging, a deep neural network based on jet constituent inputs as well as a re-optimisation of the shower deconstruction technique is presented. The performance of these taggers is studied in data collected during 2015 and 2016 corresponding to 36.1 fb −1 for the tt ¯ and γ+jet and 36.7 fb −1 −1 for the dijet event topologies

In situ calibration of large-radius jet energy and mass in 13 TeV proton–proton collisions with the ATLAS detector

The response of the ATLAS detector to largeradius jets is measured in situ using 36.2 fb−1 of √s = 13 TeV proton–proton collisions provided by the LHC and recorded by the ATLAS experiment during 2015 and 2016. The jet energy scale is measured in events where the jet recoils against a reference object, which can be either a calibrated photon, a reconstructed Z boson, or a system of well-measured small-radius jets. The jet energy resolution and a calibration of forward jets are derived using dijet balance measurements. The jet mass response is measured with two methods: using mass peaks formed by W bosons and top quarks with large transverse momenta and by comparing the jet mass measured using the energy deposited in the calorimeter with that using the momenta of charged-particle tracks. The transversemomentum and mass responses in simulations are found to be about 2–3% higher than in data. This difference is adjusted for with a correction factor. The results of the different methods are combined to yield a calibration over a large range of transverse momenta (pT). The precision of the relative jet energy scale is 1–2% for 200 GeV < pT < 2 TeV, while that of the mass scale is 2–10%. The ratio of the energy resolutions in data and simulation is measured to a precision of 10–15% over the same pT range